| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 531286 | ||
| Vorlesung | 525927 | Di 10:30-12:00 AH II (2350|111) (×12) Fr 10:30-12:00 AH II (2350|111) (×10) | |||
| Übung | 525913 | Mi 14:30-16:00 AH I (2350|028) (×13) | |||
| Formale Grundlagen von UML | Fach-/Modulprüfung | 6 | 531334 | ||
| Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 510423 | Di 14:30-16:00 3220|259 (×13) Mi 14:30-16:00 3220|259 (×12) | ||
| Foundations of Functional Programming | Fach-/Modulprüfung | 6 | 530040 | ||
| Foundations of Logic Programming | Fach-/Modulprüfung | 6 | 531301 | ||
| Übung | 532443 | Do 10:30-12:00 AH IV (2354|030) (×10) Do 16:30-18:00 AH II (2350|111) (×1) | |||
| Vorlesung | 532442 | Do 10:30-12:00 AH IV (2354|030) (×1) Do 13:30-18:00 AH IV (2354|030) (×1) Do 16:30-18:00 AH II (2350|111) (×9) Fr 14:30-16:00 AH III (2350|314.1) (×11) | |||
| Model Checking | Fach-/Modulprüfung | 6 | 531296 | ||
| Theory of Distributed and Parallel Systems | Fach-/Modulprüfung | 6 | 528061 | ||
| Theory of Distributed Systems | Fach-/Modulprüfung | 6 | 535016 | ||
| Vorlesung | 535014 | Mo 08:30-10:00 AH I (2350|028) (×11) Di 10:30-12:00 AH I (2350|028) (×10) | |||
| Übung | 535015 | Mi 16:30-18:00 HKW 3 (1132|504) (×2) Do 10:30-12:00 HKW 3 (1132|504) (×11) |